- неэлементарное правило
- nonelementary rule мат.
Русско-английский научно-технический словарь Масловского. 2015.
неэлементарное правило
Look at other dictionaries:
БЕСКОНЕЧНАЯ ИНДУКЦИЯ — правило Карнапа, w правило, неэлементарное вывода правило с бесконечным числом посылок. Точнее, пусть в нек ром логико математич. языке переменная x рассматривается как пробегающая натуральные числа и формула этого языка. Если доказана… … Математическая энциклопедия
